Formal Verification, Engineering and Business Value
نویسندگان
چکیده
منابع مشابه
Formal Verification, Engineering and Business Value
How to apply automated verification technology such as model checking and static program analysis to millions of lines of embedded C/C++ code? How to package this technology in a way that it can be used by software developers and engineers, who might have no background in formal verification? And how to convince business managers to actually pay for such a software? This work addresses a number...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملFormal Verification of BPEL4WS Business Collaborations
Web services are a very appropriate communication mechanism to perform distributed business processes among several organisations. These processes should be reliable, because a failure in them can cause high economic losses. To increase their reliability at design time, we have developed VERBUS, a framework for the formal verification of business processes. VERBUS can automatically translate bu...
متن کاملFormal Specification and Verification of XML-Based Business Domain Models
The rapidly growing use of XML in the development of business to business (B2B) applications requires new approaches in building enterprise application infrastructures. In this field the modeling of business domain semantics, thus focusing on the user’s perception of data, in contrast to physical data representation, is gathering more and more importance. It is increasingly important to provide...
متن کاملFormal specifications in reverse engineering and software verification
KVEST – Kernel VErification and Specification Technology – is based on automated test generation from formal specifications. The technology was developed under a contract with Nortel Networks and is based on experience gained in academic research [1]. By 2000 the methodology and the toolset have been applied in 6 industrial projects dealing with the verification of large-scale telecommunication...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2012
ISSN: 2075-2180
DOI: 10.4204/eptcs.105.1